
%% Template by Michal Forisek


\documentclass[a4paper]{report}
%\documentclass[a5paper,12pt]{report}
\usepackage{ulem}
\usepackage{slovak}
\usepackage[utf8]{inputenc}
\usepackage{a4wide}
\usepackage{tabularx}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{epsfig}
\usepackage[usenames,dvipsnames]{color}
\usepackage{mathrsfs}
\usepackage{verbatim}
\usepackage{hyperref}
\usepackage{ifthen}
\usepackage{subfigure}

\input{utility/makra.tex}
\input{utility/environments.tex}

\begin{document}

\thispagestyle{empty}
\begin{minipage}{0.25\textwidth}
\includegraphics[width=0.9\textwidth]{img/komlogo-new}
\end{minipage}
\begin{minipage}{0.69\textwidth}
\begin{center}
\sc Katedra Informatiky \\
Fakulta Matematiky, Fyziky a Informatiky \\
Univerzita Komenského, Bratislava
\end{center}
\end{minipage}

\vfill
\begin{center}
\begin{minipage}{0.8\textwidth}
\hrule
\bigskip\bigskip
\centerline{\LARGE\sc Matematická Logika}
\smallskip
\centerline{(spísané poznámky, draft)}
\bigskip
\centerline{\url{http://code.google.com/p/matlogika}}
\bigskip
\centerline{\large\sc Peter Perešíni, Milan Plžík, Pavol Struhár, Ivan Kováč}
\bigskip\bigskip
\hrule
\end{minipage}
\end{center}
\vfill
{~}
\hfill verzia zo dňa {\bf\today} 
\eject % EOP i

\section*{Úvod}

Tieto poznámky obsahujú študijné materiály
k predmetu \emph{Matematická logika}
na Fakulte matematiky, fyziky a informatiky UK.

Základ poznámok bol spísaný podľa prednášky doc. Eduarda Tomana v roku 2009.
Poznámky ale nie sú oficiálny študijný materiál, preto autori neručia
žiadnym spôsobom za ich aktuálnosť či vhodnosť. Navyše, obsah prednášky sa
počas rôznych rokov môže meniť a preto je silne odporúčané dopísať si
prípadné rozdiely medzi poznámkami a prednáškou.

Aby sme umožnoli jednoduchšie spravovanie a udržali poznámky dlhšie
aktuálne, rozhodli sme sa verejne publikovať zdrojové kódy na stránke
\url{http://code.google.com/p/matlogika}. Ak máte akékoľvek pripomienky,
návrhy, opravy, môžete nám ich prostredníctvom tejto stránky oznámiť.

Za autorov, PPershing.

\tableofcontents

\chapter{Dokončenie úvodu do matematickej logiky}
\input{tex/x0prerekvizity.tex}
\input{tex/x0prenex.tex}
\input{tex/x1skolem.tex}
\input{tex/x2rovnost.tex}

\chapter{Matematická logika}
\input{tex/01dokazatelnost.tex}
\input{tex/02uplnost.tex}
\input{tex/03rozsirenia.tex}
\input{tex/04kompaktnost.tex}

\chapter{Dokazovanie formúl -- Metóda rezolvent}
\input{tex/05rezolv.tex}
\input{tex/06herbrand_uvod.tex}
\input{tex/07standard.tex}
\input{tex/08herbr.tex}
\input{tex/09stromy.tex}
\input{tex/10herbr.tex}
\input{tex/11rezolv_vyrokova.tex}
\input{tex/12unifikacia.tex}
\input{tex/13rezolv_predikatova.tex}
\input{tex/14strategia_vymazavania.tex}

\chapter{Neodprednášané v šk. roku 09/10}
\input{tex/neodprednasane.tex}

\chapter{Skúška}
\input{tex/skuska.tex}
\end{document}
